- комбинаторная форма
- combinatory form мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
Формула Фаа-ди-Бруно — является обобщением формулы дифференцирования сложной функции на производные более высоких порядков. Она была названа в честь итальянского математика и священника Франческо Фаа ди Бруно, благодаря которому она стала известна (примерно 1855), хотя … Википедия
Дравидийские языки — (дравидские языки) семья языков на территории Южноазиатского (Индийского) субконтинента. Распространены главным образом в Индии, особенно в южных штатах, а также в Пакистане, Южном Афганистане, Восточном Иране (язык брахуи), частично в Шри Ланке … Лингвистический энциклопедический словарь
Задача коммивояжёра — Оптимальный маршрут коммивояжёра через 15 крупнейших городов Германии. Указанный маршрут является самым коротким из всех возможных 43 589 145 600. Задача коммивояжёра (англ. Travelling salesman problem, TSP) (коммивояжёр … Википедия
Компьютерное го — Компьютерное го направление искусственного интеллекта по созданию компьютерных программ, играющих в Го. Содержание … Википедия
Акростих — Акростих литературная форма: стихотворение, в котором некоторые (в норме первые) буквы каждой строки составляют осмысленный текст (слово, словосочетание или предложение). Примером может послужить следующее стихотворение: Светит Солнце … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
АЛГЕБРАИЧЕСКАЯ ТОПОЛОГИЯ — область математики, возникшая для изучения таких свойств гео метрич. фигур (в широком смысле любых объектов, где можно говорить о непрерывности) и их отображений друг в друга, к рые не меняются при непрерывных деформациях (гомотопиях). В принципе … Математическая энциклопедия
ПУЧКОВ ТЕОРИЯ — специальный математич. аппарат, обеспечивающий единый подход для установления связи между локальными и глобальными свойствами топологич. пространств (в частности, геометрич. объектов) и являющийся мощным средством исследования многих задач в… … Математическая энциклопедия
История математики — История науки … Википедия